<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>alloy.util package documentation</title>
  </head>

  <body>
    General-purpose utilities not specific to Alloy Analyzer.  Code
    in this package should not refer to/depend on code in other Alloy packages.
    <hr>
    <address><a href="mailto:ilya_shl@mit.edu">Ilya A Shlyakhter</a></address>
<!-- Created: Sat Feb 10 20:22:36 EST 2001 -->
<!-- hhmts start -->
Last modified: Sun Oct 28 20:57:04 Eastern Standard Time 2001
<!-- hhmts end -->
  </body>
</html>
